• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۱۵۵ پاسخ غیر تکراری از ۱۵۹ پاسخ تکراری در مدت زمان ۰,۳۶ ثانیه یافت شد.

1. Algebraic complexity theory: with the collaboration of Thomas Lickteig

پدیدآورنده: Burgisser, Peter

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computational complexity,، Machine theory

رده :
QA
267
.
B813
1997
مشاهده در قفسه مجازی RIS Bibtex ISO

2. Algorithmic information theory

پدیدآورنده : Gregory J. Chaitin

موضوع : Machine theory,Computational complexity,LISP (Computer program language)

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

3. Algorithmic information theory

پدیدآورنده: Gregory J. Chaitin

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Algorithms,، Machine theory,، Computational complexity,، LISP )Computer program language(

رده :
QA
9
.
58
.
C48
1987
مشاهده در قفسه مجازی RIS Bibtex ISO

4. Algorithmic information theory

پدیدآورنده: / Gregory J. Chaitin

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Machine theory,Computational complexity,LISP (Computer program language)

رده :
E-BOOK
RIS Bibtex ISO

5. Aspects of computation and automata theory with applications

پدیدآورنده: / editors Noam Greenberg ... [et al.]

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Machine theory.,Computational complexity.,Recursion theory.

رده :
RIS Bibtex ISO

6. Automata, computability and complexity :

پدیدآورنده: Elaine Rich.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.

رده :
QA267
.
R53
2008
مشاهده در قفسه مجازی RIS Bibtex ISO

7. Classical and quantum computation /

پدیدآورنده: A. Yu. Kitaev, A.H. Shen, M.N. Vyalyi ; [translated from the Russian by Lester J. Senechal]

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational complexity,Machine theory,Quantum computers

رده :
QA267
.
K5713
2002
مشاهده در قفسه مجازی RIS Bibtex ISO

8. Classical and quantum computation,Klassicheskie i kvantovye vychisleniiIa.

پدیدآورنده: Kitaev, Alexei Yu

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع: ، Machine theory,، Computational complexity,، Quantum computers

رده :
QA
267
.
K578
2002
مشاهده در قفسه مجازی RIS Bibtex ISO

9. Complex systems dynamics; an introduction to automata network

پدیدآورنده: Weisbuch, Gerard

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computational complexity ► Machine theory

رده :
511
W426c
مشاهده در قفسه مجازی RIS Bibtex ISO

10. Complex systems dynamics : an introduction to automata networks

پدیدآورنده: Weisbuch, G.

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Computational complexity,، Machine theory

رده :
QA
267
.
7
.
W4513
1990
مشاهده در قفسه مجازی RIS Bibtex ISO

11. Complex systems dynamics : an introduction to automata networks

پدیدآورنده: Gerard Weisbuch ; translated by Sylvie Ryckebusch

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: ، Computational complexity,، Machine theory

رده :
QA
267
.
7
.
W4513
1991
مشاهده در قفسه مجازی RIS Bibtex ISO

12. Computability, Complexity, and Languages

پدیدآورنده: \ Martin D. Davis, Elaine J. Weyuker

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبان‌های صوری

رده :
E-Book
,
RIS Bibtex ISO

13. Computability, complexity, and languages

پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Machine theory,Computational complexity,Formal languages

رده :
QA
267
.
D38
1983
مشاهده در قفسه مجازی RIS Bibtex ISO

14. Computability, complexity, and languages

پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Machine theory,Computational complexity,Formal languages

رده :
QA
267
.
D38
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

15. Computability, complexity, and languages :

پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational complexity,Formal languages,Machine theory

رده :
QA267
.
D38
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

16. Computability, complexity, and languages

پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Machine theory,Computational complexity,Formal languages

رده :
QA
267
.
D38
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

17. Computability, complexity, and languages

پدیدآورنده: / Martin D. Davis, Elaine J. Weyuker

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Machine theory,Computational complexity,Formal languages

رده :
QA267
.
D38
1983
مشاهده در قفسه مجازی RIS Bibtex ISO

18. Computability, complexity, and languages: fundamentals of theoretical computer science

پدیدآورنده: Martin D. Davis, Elaine J. Weyuker

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D38
1983
مشاهده در قفسه مجازی RIS Bibtex ISO

19. Computability, complexity, and languages : fundamentals of theoretical computer science

پدیدآورنده: Davis, Martin

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D38
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

20. Computability, complexity, and languages fundamentals of theoretical computer science

پدیدآورنده: Davis, Martin

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Machine theory,، Computational complexity,، Formal languages

رده :
QA
267
.
D38
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال